Fault injection in mixed-signal environment using behavioral fault modeling in Verilog-A | IEEE Conference Publication | IEEE Xplore